|
In mathematics, specifically algebraic topology, the mapping cylinder of a function between topological spaces and is the quotient : where the union is disjoint, and ∼ is the equivalence relation generated by : That is, the mapping cylinder is obtained by gluing one end of to via the map . Notice that the "top" of the cylinder is homeomorphic to , while the "bottom" is the space . See 〔Algebraic Topology by Allen Hatcher. Page 2〕 for more details. ==Basic properties== The bottom ''Y'' is a deformation retract of . The projection splits (via ), and a deformation retraction is given by: : : (where points in stay fixed, which is well-defined, because for all ). The map is a homotopy equivalence if and only if the "top" is a strong deformation retract of . A proof can be found in.〔Algebraic Topology by Allen Hatcher. Corollary 0.16〕 An explicit formula for the strong deformation retraction is produced in.〔A Short Note on Mapping Cylinders by A. Aguado〕 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「mapping cylinder」の詳細全文を読む スポンサード リンク
|